#include <linux/kconfig.h>
#include <linux/init.h>
#include <linux/mm.h>
#include <linux/mmzone.h>

#include "inc/mm-init.h"

void __init mm_core_init(void)
{
#ifdef CONFIG_MMU
    vmalloc_init();
#endif
}
